home *** CD-ROM | disk | FTP | other *** search
- The database for that display is not open. Open its Database first
-
- A database is already open. Close that database before opening another one.
-
- That type ID has already been used by another type.
-
- A type must have four characters. Fill extras with spaces: 'AB..'
-
- A type must be based on at least one other object. Generic types exist: 'NODE' and 'RELA'.
-
- You may not remove that type. It is used as the top-level type from which all others are based. It must remain as the root.
-
- That Source ID has already been used by another Source. Please use another four character identifier.
-
- There must be at least one source to make new claims.
-
- That source is being used by some objects. Please remove it from them before deleting it.
-
- You may not modify or delete a source consisting of a single primitive.
-
- That primitive is used in at least one source. Please delete those sources first.
-
- That source is already defined. No changes will be made.
-
- You did not create that object so you may not modify it.
-
- Some objects from this display were deleted from the database so they won't appear here. Save the display so this message won't appear again.
-
- You must type the same password twice to verify that it is correct.
-
- There are no objects matching that description.
-
- You may not modify that type. It was created by another user. You may only remove or change types that you create.
-
- You may not modify that source. It was created by another user. You may only remove or change sources that you create.
-
- You may not modify that user. You may only change your own record.
-
- You may not create, modify or delete any objects when you are not logged in. This is "read only" mode.
-
- That type name is already used for another type. Since the name is used in the menu, there would be no way of knowing which is which.
-
- Someone us already using that name. Please change it so that you have a unique name.
-
- That abbreviation is used by another user. You may want to change it so that there is no confusion in the object labels.
-
- That name is used by another source. Since the name is used in the menu, there could be confusion about which is being selected.
-
- That abbreviation is used by another primitive source. Since the abbreviations are used to form expressions for sources, there could be confusion.
-
- That source has already been defined.
-
- A type can not be a parent (or ancestor) of itself. Try a different parent for this type.
-
- There was not enough memory to copy the text for export, so a copy was made for use within this program only.
-
- The database is from a newer version of Euclid, you must update Euclid to use it.
-
- You created some objects. You must delete them before you can delete yourself from the user list.
-
- That type is being used by objects, so you may not delete it until you change the types on the objects that use it.
-
-